| title | Eine Prädikat- und Invariantenverwaltung zur Synchronisation in APRICOTS |
| creator | Schirmer, Darius |
| date | 1997-01 |
| language | ger |
| identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIP-1526&engl=1 |
| description | 113 pages |
| publisher | Stuttgart, Germany, Universität Stuttgart |
| type | Text |
| Diploma Thesis | |
| contributor | Anwendersoftware (Prof. Reuter) (IPVR) |
| subject | Distributed Systems (CR C.2.4) |
| Operating Systems Reliability (CR D.4.5) | |
| Specifying and Verifying and Reasoning about Programs (CR F.3.1) | |
| Database Management Systems (CR H.2.4) | |
| relation | Diploma Thesis No. 1526 |